Petri nets

#	Item
181	How to model behavioural and cognitive complexity in human-computer interaction with Petri nets M. Rauterberg, S. Schluep and M. Fjeld Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:37 Cognitive science Scientific modeling Concurrency Petri net Goal setting Task analysis Software development process Mental model Model Science Cognitive psychology Ethology
182	Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Add to Reading List Source URL: vision.ime.usp.br Language: English - Date: 2013-02-27 11:42:30 Diagrams Software engineering Computing Petri nets Iterator Finite-state machine Petriscript TAPAAL Model Checker Models of computation Formal methods Concurrency
183	DESCRIBING CRYPTOBIOSIS AS A TIME BASED PROTECTION SYSTEM USING PETRI NETS a Add to Reading List Source URL: www.bth.se Language: English - Date: 2012-09-18 08:25:21 Desiccation tolerance Metabolism Tardigrade Dormancy Stress Metabolic pathway Microbial cyst Reproduction Biology Physiology Cryptobiosis
184	PDF Document Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2009-09-17 09:28:06 Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency